Package-level declarations

Types

Link copied to clipboard
data class Answer(val text: String, val confidence: Double, val grounding: List<String> = emptyList(), val negative: Boolean = false, val source: AnswerSource, val reasoning: String? = null)

An answer from the Oracle with grounding information.

Link copied to clipboard

How the answer was derived.

Link copied to clipboard
class LlmOracle(ai: <Error class: unknown class>, prologResult: PrologProjectionResult, prologSchema: PrologSchema, propositionRepository: PropositionRepository? = null, entityNames: Map<String, String> = emptyMap(), llmOptions: <Error class: unknown class> = LlmOptions()) : Oracle

LLM-based Oracle that answers questions using Prolog reasoning with fallback to proposition search.

Link copied to clipboard
interface Oracle

Natural language question answering interface. An Oracle answers questions using available knowledge sources.

Link copied to clipboard
class PrologTools(prologResult: PrologProjectionResult, prologSchema: PrologSchema, entityNames: Map<String, String> = emptyMap())

Prolog tools that can be invoked by an LLM to query a knowledge base.

Link copied to clipboard
data class Question(val text: String, val context: Map<String, Any> = emptyMap())

A natural language question to be answered by the Oracle.

Link copied to clipboard
class ToolOracle(ai: <Error class: unknown class>, prologResult: PrologProjectionResult, prologSchema: PrologSchema, propositionRepository: PropositionRepository? = null, entityNames: Map<String, String> = emptyMap(), llmOptions: <Error class: unknown class> = LlmOptions()) : Oracle

Oracle that uses LLM tool calling to answer questions. The LLM decides when and how to query the Prolog knowledge base.